body {
	font-family: "Trebuchet MS", "Helvetica", "Arial",  "Verdana", "sans-serif";
	font-size: 80%;
}

div.demo {
	padding:12px;
	font-size: 80%;
	font-family: "Trebuchet MS", "Arial", "Helvetica", "Verdana", "sans-serif";
}

div.demo-description {
	clear:both;
	padding: 0 12px;
	font-family: "Trebuchet MS", "Arial", "Helvetica", "Verdana", "sans-serif";
	line-height: 1.4em;
}

.syntaxhighlighter
{
	margin: 1em 12px !important;
}
